Понятия со словосочетанием «формальные методы»
Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных.
Связанные понятия
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.
Стиль научного мышления — в философии науки выражает мировоззренческий и методологический подход к пониманию мира и объяснению эмпирических фактов. Включает в себя применяемые на данном историческом этапе развития науки методы эмпирического и теоретического исследования, определённую гносеологическую или социальную установку в познании, философские идеи и принципы, психологию учёных. Понятие "стиль научного мышления" было введено в науку М. Борном и Л. Флеком.
Неорито́рика (но́вая рито́рика) — современная философская и филологическая теория. Название закрепилось в научном обороте благодаря одноименной работе Хаима Перельмана.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Номотетика,
номотетический подход или метод (от др.-греч. νόμος — закон + корень θη- — полагать, устанавливать) − 1) в учении Канта способ «законодательной» деятельности разума в установлении им законов и правил познания; 2) в неокантианстве баденской школы — метод естественных наук, направленный на выявление общих закономерностей, генерализующий общие тенденции науки. Понятие введено Вильгельмом Виндельбандом, подробно описано Генрихом Риккертом, усматривавшим вслед за Кантом предмет естествознания...
Психологи́зм — тенденция в философии и гуманитарном знании к объяснению духовных явлений и идеальных сущностей работой индивидуального или коллективного сознания. Наиболее известны психологистические системы в логике и математике.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Топологическая рефлексия — метод современной философии, учитывающий нелинейный, но непрерывный (топологический) характер современного мышления (рефлексии). Термин введен и обоснован петербургским философом Савчуком в 2003 годудля того чтобы противопоставить современное мышление классическому, которое в этом контексте именуется оптической рефлексией, что указывает на связь с эпохой Просвещения и предшествующим ему картезианством. Если оптическая рефлексия постулирует идеал бестелесного взгляда с позиции...
Пло́скость — термин естественно-научной традиции, используемый как метафора в современной философии (Хайдеггер, Делёз, Деррида и др.) в контексте философской метафоры многомерности бытия и мышления. Термин «плоскость» позволяет использовать ряд близких по смыслу слов, широкоприменяемых в середине — второй половине XX века в качестве философских понятий: поверхность, глубина и т. д. В истории философии потребность в философских подходах, использующих такую пространственную метафорику, впервые осознаётся...
Ди́скурс-ана́лиз — в общем смысле — ряд подходов в социальных науках, целью которых является критическое исследование дискурса, а основными задачами — анализ соотношения сил в обществе, при осуществлении которого формулируется нормативный подход, с позиции которого можно критически проанализировать эти соотношения в связи с социальными изменениями. К дискурс-аналитическим подходам могут быть отнесены: теория дискурса Э. Лакло и Ш. Муфф, критический дискурс-анализ, дискурсивная психология и др.
Неформа́льная ло́гика — область исследований в логике и теории аргументации, оценивающая и анализирующая аргументы в том виде, в каком они используются в естественном языке.
Научный дискурс (англ. scientific discourse, нем. Wissenschaftlicher Diskurs) — многозначный термин, используемый широко с середины 1970-х году вместе с распространением в западноевропейской и американской науке понятия дискурса.
Методоло́гия (от греч. μεθοδολογία — учение о способах; от др.-греч. μέθοδος из μετά- + ὁδός, букв. «путь вслед за чем-либо» и др.-греч. λόγος — мысль, причина) — учение о методах, способах и стратегиях исследования предмета.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Диалогизм — обобщенная характеристика ряда концепций диалогической философии (иногда — синоним диалогической философии; при различении этих терминов «диалогическая философия» используется как название разнородных концепций, утверждающих важное значение диалога, а «диалогизм» — как название некоторой обобщенной программы, в которую складываются все разработки диалогической философии; иногда диалогизм рассматривается как особая разновидность персонализма или экзистенциализма в силу родства ряда идей...
Лингвисти́ческая филосо́фия — направление в аналитической философии в 1930—1960-х годах, получившее наибольшее распространение в США и Великобритании. Будучи в определённом смысле последователями Мура и Витгенштейна, представители лингвистической философии всё же, в отличие от логических позитивистов, не призывали к улучшению естественного языка по образцу формализованных логических языков или языков науки. Одна из школ лингвистической философии (Д. Уиздом, М. Лазеровиц, Э. Эмброуз) сблизилась с...
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Методоло́гия нау́ки, в традиционном понимании, — это учение о методах и процедурах научной деятельности, а также раздел общей теории познания (гносеологии), в особенности теории научного познания (эпистемологии) и философии науки.
ОПОЯ́З, русский формализм, «формальная школа» (общество изучения поэтического языка или общество изучения теории поэтического языка) — научное объединение, созданное группой теоретиков и историков литературы, лингвистов, стиховедов — представителей так называемой «формальной школы» и существовавшее в 1916—1925 годах. Сама «формальная школа» просуществовала до начала 1930-х годов и оказала значительное влияние на теоретическое литературоведение и семиотику.
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Конвенционали́зм (от лат. conventio — договор, соглашение) — философская концепция, согласно которой научные понятия и теоретические построения являются в основе своей продуктами соглашения между учёными. Они должны быть внутренне непротиворечивы и соответствовать данным наблюдения, но не имеет смысла требовать от них, чтобы они отражали истинное устройство мира. Следовательно, все непротиворечивые научные (а также философские) теории в равной степени приемлемы и ни одна из них не может быть признана...
Интерпретация (лат. interpretatio — толкование, объяснение) — истолкование текста с целью понимания его смысла.
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Идиостиль — это индивидуальный авторский стиль писателя или поэта; специфика речи художественных произведений; предмет изучения стилистики. Первые исследования идиостиля связаны с именами Ю. Н. Тынянова, Ю. Н. Караулова и В. В. Виноградова, которые в середине XX века занимались изучением языковой личности. В частности, В. В. Виноградов ввёл термин «языковая личность», а Ю. Н. Караулову принадлежит идея о её делении на уровни: вербально-семантический, когнитивный, мотивационный — и дальнейшем комплексном...
Герменевтический круг — метафора, описывающая взаимообусловленность объяснения и интерпретации с одной стороны, и понимания — с другой. Герменевтический круг является одним из основных понятий философии герменевтики.
Дискурси́вный ана́лиз — изучение языка, используемого членами некоторого языкового сообщества. В ходе такого анализа рассматривается как форма языка, так и его функция. В качестве исходного материала берутся разговорная речь и письменные тексты. Идентифицируются лингвистические особенности понимания различных текстов и типов устной речи.
Натурали́зм (фр. naturalisme; от лат. naturalis — природный, естественный) — философское направление, которое рассматривает природу как универсальный принцип объяснения всего сущего, причём часто открыто включает в понятие «природа», также дух и духовные творения; биологическое мировоззрение XIX века.
Порожда́ющая грамма́тика (генеративная грамматика, англ. generative grammar) — формализм генеративной лингвистики, связанный с изучением синтаксиса. В рамках подхода порождающей грамматики формулируется система правил, при помощи которых можно определить, какая комбинация слов оформляет грамматически правильное предложение. Термин введён в научный оборот в работах Ноама Хомского в конце 1950-х годов (в ранних версиях теории Хомского использовался термин трансформационная грамматика, англ. transformational...
Структу́рная лингви́стика — языковедческая дисциплина, предметом которой является язык, изучаемый с точки зрения своего формального строения и организации его в целом, а также с точки зрения формального строения образующих его компонентов как в плане выражения, так и в плане содержания.
Социолингви́стика (социологическая лингвистика) — раздел языкознания, изучающий связь между языком и социальными условиями его бытования. Социолингвистика тесно связана с такими лингвистическими дисциплинами, как психолингвистика и этнолингвистика. На стыке социолингвистики и экономической теории развивается такое направление исследований, как экономика языка.
Джастификационизм (от англ. justificationism - justification) — позитивистский (в некоторых источниках постпозитивистский) метод науки, в основе которого лежит предположение о том, что научная теория обосновывается фактами, логическими последовательностями. Термин введён И. Лакатосом.
Теория дискурса Лакло и Муфф — постструктуралистская теория, разработанная бельгийскими политологами Эрнесто Лакло и Шанталь Муфф. Теория основана на идее о том, что социальный мир формируется дискурсом с помощью значений.
Критерий демаркации — научный способ разграничения условий, которые избираются для объяснения данного явления. Термин «демаркация» означает «разграничение».
Теоретическая психология — мета раздел психологии, который можно выделить из состава психологических наук в противопоставление практическим психологическим наукам, таким как инженерная психология, психотехника, психотерапия и т. п. Чаще всего входит в состав словосочетания «Общая и теоретическая психология», либо как синоним «общей психологии».
Крити́ческий ди́скурс-ана́лиз (англ. Critical discourse analysis) — разновидность дискурс-анализа, разработанная Норманом Фейрклаф, в которой утверждается, что дискурс — лишь один из множества аспектов любой социальной практики. Для критического дискурс-анализа основной областью интереса является исследование изменений дискурса, которые происходят благодаря интертекстуальности — механизму, с помощью которого отдельный текст привлекает элементы и дискурсы других текстов. Комбинация элементов различных...
Алоги́зм (алоги́чность; от др.-греч. ἀ — отрицательная частица и др.-греч. λογισμός — разум, рассудок) — нелогическое рассуждение, ход мысли, нарушающий законы и правила логики, либо факт, который не укладывается в рамки логического мышления, то, что нельзя обосновать логически, противоречащее логике.
Структурали́зм — это совокупность холистических подходов, возникших главным образом в социальных и гуманитарных науках в середине XX века. Структуралисты использовали понятие структуры — теоретическую модель, которая функционирует бессознательно или не может восприниматься эмпирическим образом. Структура определяла форму изучаемого объекта как систему, состоящую из отношений между её элементами. Термин «структура» трактовался по-разному в различных направлениях; возникнув в рамках позитивизма в конце...
Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и прочие аспекты оснований математики. В более широком смысле рассматривается как математизированная ветвь формальной логики — «логика по предмету, математика по методу», «логика, развиваемая с помощью математических методов».
Интерсубъекти́вность — понятие, означающее 1) особую общность; 2) определённую совокупность людей, обладающих общностью установок и воззрений; 3) обобщенный опыт представления предметов.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Социологическая теория — совокупность понятий и принципов, объясняющих функционирование социологических структур.
Философия логики — раздел философии, изучающий предмет, функциональность и методологию логики как общеметодологической концепции науки. Философия логики исследует проблему наличия и совмещения в логике онтологических и когнитивных оснований, проблему действительности или фиктивности логического следования (импликации, материальной импликации), объёма предваряющих рассуждения объявлений (деклараций), содержания категорий истина и ложь. Современная философия логики изучает проблемы гранулированности...
Релятиви́зм (от лат. relativus — относительный) — методологический принцип, состоящий в метафизической абсолютизации относительности и условности содержания познания.